proof of formula for derivative of log base a of x